Construction of Integrals of Higher-Order Mappings

We find that certain higher-order mappings arise as reductions of the integrable discrete A-type KP (AKP) and B-type KP (BKP) equations. We find conservation laws for the AKP and BKP equations, then we use these conservation laws to derive integrals of the associated reduced maps.Comment: appear to Journal of the Physical Society of Japa

Infinitely many symmetries and conservation laws for quad-graph equations via the Gardner method

The application of the Gardner method for generation of conservation laws to all the ABS equations is considered. It is shown that all the necessary information for the application of the Gardner method, namely B\"acklund transformations and initial conservation laws, follow from the multidimensional consistency of ABS equations. We also apply the Gardner method to an asymmetric equation which is not included in the ABS classification. An analog of the Gardner method for generation of symmetries is developed and applied to discrete KdV. It can also be applied to all the other ABS equations

Infinitely many conservation laws for the discrete KdV equation

In \cite{RH3} Rasin and Hydon suggested a way to construct an infinite number of conservation laws for the discrete KdV equation (dKdV), by repeated application of a certain symmetry to a known conservation law. It was not decided, however, whether the resulting conservation laws were distinct and nontrivial. In this paper we obtain the following results: (1) We give an alternative method to construct an infinite number of conservation laws using a discrete version of the Gardner transformation. (2) We give a direct proof that the Rasin-Hydon conservation laws are indeed distinct and nontrivial. (3) We consider a continuum limit in which the dKdV equation becomes a first-order eikonal equation. In this limit the two sets of conservation laws become the same, and are evidently distinct and nontrivial. This proves the nontriviality of the conservation laws constructed by the Gardner method, and gives an alternate proof of the nontriviality of the conservation laws constructed by the Rasin-Hydon method

Discrete moving frames on lattice varieties and lattice based multispace

In this paper, we develop the theory of the discrete moving frame in two different ways. In the first half of the paper, we consider a discrete moving frame defined on a lattice variety and the equivalence classes of global syzygies that result from the first fundamental group of the variety. In the second half, we consider the continuum limit of discrete moving frames as a local lattice coalesces to a point. To achieve a well-defined limit of discrete frames, we construct multispace, a generalization of the jet bundle that also generalizes Olver’s one dimensional construction. Using interpolation to provide coordinates, we prove that it is a manifold containing the usual jet bundle as a submanifold. We show that continuity of a multispace moving frame ensures that the discrete moving frame converges to a continuous one as lattices coalesce. The smooth frame is, at the same time, the restriction of the multispace frame to the embedded jet bundle. We prove further that the discrete invariants and syzygies approximate their smooth counterparts. In effect, a frame on multispace allows smooth frames and their discretisations to be studied simultaneously. In our last chapter we discuss two important applications, one to the discrete variational calculus, and the second to discrete integrable systems. Finally, in an appendix, we discuss a more general result concerning equicontinuous families of discretisations of moving frames, which are consistent with a smooth frame

Geometric numerical schemes for the KdV equation

Geometric discretizations that preserve certain Hamiltonian structures at the discrete level has been proven to enhance the accuracy of numerical schemes. In particular, numerous symplectic and multi-symplectic schemes have been proposed to solve numerically the celebrated Korteweg-de Vries (KdV) equation. In this work, we show that geometrical schemes are as much robust and accurate as Fourier-type pseudo-spectral methods for computing the long-time KdV dynamics, and thus more suitable to model complex nonlinear wave phenomena.Comment: 22 pages, 14 figures, 74 references. Other author's papers can be downloaded at http://www.lama.univ-savoie.fr/~dutykh

Discrete point symmetries of ordinary differential equations

This paper describes a method that enables the user to construct systematically the set of all discrete point symmetries of a given ordinary differential equation (ODE) of order two or greater, provided that the ODE has at least a one-parameter Lie group of point symmetries. The method is easy to use, and is based upon Lie's method of constructing continuous symmetries. The calculations are simple, and computer algebra is not usually required. Various examples are used to illustrate the method. The paper concludes with a proof that every ODE whose Lie group of point symmetries is isomorphic to the unimodular group has at least four inequivalent real discrete point symmetries.</p

Discrete point symmetries of ordinary differential equations

This paper describes a method that enables the user to construct systematically the set of all discrete point symmetries of a given ordinary differential equation (ODE) of order two or greater, provided that the ODE has at least a one-parameter Lie group of point symmetries. The method is easy to use, and is based upon Lie's method of constructing continuous symmetries. The calculations are simple, and computer algebra is not usually required. Various examples are used to illustrate the method. The paper concludes with a proof that every ODE whose Lie group of point symmetries is isomorphic to the unimodular group has at least four inequivalent real discrete point symmetries.</p

Symmetries and first integrals of ordinary difference equations

This paper describes a new symmetry-based approach to solving a given ordinary difference equation. By studying the local structure of the set of solutions, we derive a systematic method for determining one-parameter Lie groups of symmetries in closed form. Such groups can be used to achieve successive reductions of order. If there are enough symmetries, the difference equation can be completely solved. Several examples are used to illustrate the technique for transitive and intransitive symmetry groups. It is also shown that every linear second-order ordinary difference equation has a Lie algebra of symmetry generators that is isomorphic to sl(3). The paper concludes with a systematic method for constructing first integrals directly, which can be used even if no symmetries are known.</p